Generating Test Data from OCL Speci cation
نویسندگان
چکیده
A number of research focus on test cases and their generation from dynamic models. In this paper we propose an approach for generating test data for these tests, that we derive from formal constraints expressed in a static model. We show how the partition analysis of individual methods of classes can be automated, and how a valid sequence of a given method's class can be constructed. The partition analysis involves reducing mathematical expressions into Disjunctive Normal Forms which gives disjoint partitions.
منابع مشابه
Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms
Our ability to test a distributed system is directly related to the quality of the system's speci cation. The speci cation must be complete. That is, the system should have a speci ed behavior for every point in the input space. The speci cations of all of the components in the system must be consistent with each other. Ultimately the speci cation must accurately (i.e., correctly) model the rea...
متن کاملTranslating OCL to Graph Patterns
Model-driven tools use model queries for many purposes, including validation of well-formedness rules and speci cation of derived features. The majority of declarative model query corpus available in industry appears to use the OCL language. Graph pattern based queries, however, would have a number of advantages due to their more abstract speci cation, such as performance improvements through a...
متن کاملAutomating Formal Speciication-based Testing to Appear: Tapsoft '97
This paper presents a technique for automatically generating logical schemata that specify groups of black-box test cases from formal speci cations containing universal and existential quanti cation. These schemata are called test frames. Previous automated techniques have dealt with languages based on propositional logic. Since this new technique deals with quanti cation it can be applied to m...
متن کاملGenerating Test Cases from Uml Speciications
GENERATING TEST CASES FROM UML SPECIFICATIONS Aynur Abdurazik, M.S. George Mason University, 1999 Thesis Director: Dr. A. Je erson O utt Uni ed Modeling Language (UML) is a third generation modeling language in objectoriented software engineering. It provides constructs to specify, construct, visualize, and document artifacts of softwareintensive systems. This paper presents a technique that us...
متن کاملCriteria for Generating Speci � cation based Tests
This paper presents general criteria for generating test inputs from state based speci cations Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned Formal speci cations of complex systems represent a signi cant opportunity for testing because they precisely de scribe what functions the software is supposed to pro vide in a form that can easi...
متن کامل